📊 Static Analysis - matmat · Scour

Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via \v{C}ech Cohomology 🦀Rust Verification

arxiv.org·2d·

Optimizing for Understanding 🔗Topological Sorting

blog.br11k.dev·14h·Hacker News·

IDA Plugin Updates on 2026-03-29 🌳Incremental Parsing

williballenthin.com·4d·

nstarke/egodeath: A JavaScript Obfuscator based on AST Transforms ⬆️Lambda Lifting

github.com·5h·Hacker News·

Runtime type checking is great (2023) 🎯Gradual Typing

blog.jez.io·1d·Lobsters·

Adapting to AI: Code Review 📏Code Metrics

blog.colinbreck.com·3d·

Rust's next-generation trait solver 🦀Rust Borrowing

lwn.net

·2d·

C89cc.sh – standalone C89/ELF64 compiler in pure portable shell 📝Shell Parsing

gist.github.com·1d·Hacker News·

The Little Book of C 🦀Rust Macros

little-book-of.github.io·6d·Hacker News·

TruffleRuby ✅Formal Methods

chrisseaton.com·4d·Hacker News·

C2RustXW: Program-Structure-Aware C-to-Rust Translation via Program Analysis and LLM 🦀Rust Borrowing

arxiv.org·2d·

Code review skill inspierd by Gilfoyle and Dinesh ⚡Proof Automation

github.com·5d·Hacker News·

WybeCoder: Verified Imperative Code Generation ⚔️Lean Tactics

arxiv.org·1d·

Rust's next-generation trait solver 🦀Rust Verification

lwn.net·2d·Lobsters, Hacker News, r/programming·

NUS-Program-Verification/AutoRocq: Agentic Theorem Prover for Rocq for Program Verification 📐Proof Assistants

github.com·5d·Hacker News·

Superset Decompilation 🔓Decompilation

arxiv.org·2d·

Automatic Identification of Parallelizable Loops Using Transformer-Based Source Code Representations 🚀SIMD Parsing

arxiv.org·1d·

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis 🧠Separation Logic

arxiv.org·2d·

Bridging Code Property Graphs and Language Models for Program Analysis 🏗️Compiler Archaeology

arxiv.org·6d·

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review 📏Code Metrics

arxiv.org·3d·

Loading more...